This is a small fix for SMP PAE guest on x86-64.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 25 Apr 2006 07:56:01 +0000 (08:56 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 25 Apr 2006 07:56:01 +0000 (08:56 +0100)
commit2c97bbed1ebb4d8e95df4fbe94c9be3d1f15b98a
treeb8323119d79a6a4bc2789c65a317552ae19eb8c8
parent7a3a16a1cafd3a76fa3d73e932e8dd5fb006e4ba
This is a small fix for SMP PAE guest on x86-64.
Since part of the VMX guest initialization is running in the context of
dom0, so when we want to make sure the operation of shadow ops is
always done by vcpu0 of the guest VMX domain, we should make sure
the current vcpu0 is running in guest domain and not in the dom0.

Signed-off-by: Xiaohui Xin xiaohui.xin@intel.com
Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/shadow_public.c